% Ejercicio 6

alumnoDe( daniel, luisa ).
alumnoDe( daniel, juan ).

alumnoDe( luisa, ana ).

alumnoDe( nico, daniel ).
alumnoDe( nico, nahuel ).

alumnoDe( nahuel, tamara ).

alumnoDe( ruben, claudio ).
alumnoDe( ruben, jose ).

alumnoDe( jose, alvaro ).
alumnoDe( luisa, alvaro ).

carilindo( brad ).
carilindo( leo ).
carilindo( johnny ).

simpatico( luciano ).
simpatico( lautaro ).


puedeIr( nico ).
puedeIr( daniel ).

puedeIr( X ) :- carilindo( X ).

% Out of local stack
% puedeIr( A ) :- puedeIr( P ), alumnoDe( P, A ).

puedeIr( A ) :- alumnoDe( P, A ), puedeIr( P ).